Knihy od autora Tobias Nipkow

Zobrazené 1 – 13 z 13 výsledkov

1. 

   Isabelle/HOL

   Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   61.96 €

   Zľava 7 %

   Ušetríte 5.19 €

   Kúpiť
2. 

   FM 2006: Formal Methods

   Jayadev Misra, Tobias Nipkow, Emil Sekerinski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   109.45 €

   Kúpiť
3. 

   Higher-Order Algebra, Logic, and Term Rewriting

   Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.73 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
4. 

   Types for Proofs and Programs

   Henk Barendregt, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.73 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
5. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2016

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   57.61 €

   Zľava 9 %

   Ušetríte 6.19 €

   Kúpiť
6. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2014

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   80.70 €

   Zľava 9 %

   Ušetríte 8.71 €

   Kúpiť
7. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer Nature B.V., 2014

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   57 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
8. 

   Functional Data Structures and Algorithms

   Tobias Nipkow | ACM Books, 2025

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   50.82 €

   Zľava 2 %

   Ušetríte 1.06 €

   Kúpiť
9. 

   Functional Data Structures and Algorithms

   Tobias Nipkow | Association for Computing Machinery, 2025

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Pevná

   68.85 €

   Zľava 2 %

   Ušetríte 1.45 €

   Kúpiť
10. 

    Theorem Proving in Higher Order Logics

    Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.73 €

    Zľava 7 %

    Ušetríte 4.29 €

    Kúpiť
11. 

    Automated Reasoning

    Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    103.07 €

    Zľava 7 %

    Ušetríte 8.63 €

    Kúpiť
12. 

    Rewriting Techniques and Applications

    Tobias Nipkow | Springer, Berlin, 1998

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.73 €

    Zľava 7 %

    Ušetríte 4.29 €

    Kúpiť
13. 

    Isabelle

    Lawrence C. Paulson, Tobias Nipkow | Springer, Berlin, 1994

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.73 €

    Zľava 7 %

    Ušetríte 4.29 €

    Kúpiť

Získali sme ocenenie Shop roka 2014 - finalista. Zistite viac